Nuprl Definition : implies
12,41
postcript
pdf
P
Q
==
P
Q
latex
Definitions
P
Q
origin
Q == P
Q Q == PQ Q